WITH Ada.Text_IO;
WITH Unit_Test_Assertions;
WITH Ada.Strings.Unbounded;
WITH Petrinets;

PACKAGE Test_Properties IS

   PACKAGE Dyn_Str   RENAMES Ada.Strings.Unbounded;

   -- Initialisation de la suite de test
   PROCEDURE Set_Up;

   -- Demarrage de la suite de tests
   PROCEDURE Run ;

   -- Terminaison de la suite de test
   PROCEDURE Tear_Down (nbTest : OUT Integer; nbError : OUT Integer; name : OUT Dyn_Str.Unbounded_String) ;


   -- Test de vivacite
   PROCEDURE Test_Vivacite ;

   PROCEDURE Test_Non_Vivacite ;

   -- Test de quasi-vivacite
   PROCEDURE Test_Quasi_Vivacite ;

   PROCEDURE  Test_Non_Quasi_Vivacite ;

   -- Test de bornage
   PROCEDURE  Test_Bornage;

   PROCEDURE  Test_Non_Bornage;


PRIVATE
   PACKAGE Rdp IS NEW Petrinets (100, 100);
   PACKAGE Integerio IS NEW Ada.Text_IO.Integer_Io (Integer);

   testRDP		: Rdp.Petrinet;
   resultBool 		: Boolean;
   resultInt 		: Integer;

END Test_Properties;
